#include <stdlib.h>
#include <string.h>
#include <stdio.h>
#include "converter/converter.h"
#include "parser/parser.h"
#include "input/input.h"
#include "data.h"
#include "boolean.h"

int main(int argc, char** argv){
	if(argc!=2 && argc != 3){
		printf("Eksekusi dengan:\n");
		printf("- main Nama_File\n");
		printf("- main Nama_File (1/2)\n");
	}
	else{
		Read(argv[1]);
		if (argc == 3)
			if (strcmp(argv[2],"2") == 0) 
				prop = true;
		int i;
		for(i = 0; i < lnum; i++){
			printf("%s\n",Line[i]);
		}
        OutputStart();
        parse_premise();
        parse_goal();
		CloseFile();
		convert();
		for(i = 1; i<=tgoal; i++) {
			convert_goal(i);
		}
	}
    return 0;
}
